Commit Projection
$ CP(H)
とか
$ C(H)
と表記される．
あるHistoryからコミット済みのトランザクションのみを抜き出すということ．
History上でどうかという議論